/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2020-2021.
 * Description: print header file
 * Author: yanbo <joey.yanbo@huawei.com>
 * Create: 2020-11-19
 */
extern void putstr(const char *);
extern void print_number(const unsigned long);
